Define explicit evtchn_port_t type (32 bits) and plumb up
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 1 Dec 2005 14:22:22 +0000 (15:22 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 1 Dec 2005 14:22:22 +0000 (15:22 +0100)
commit96428d33d9b6f28ce02902eae1a480b1d8f0e713
tree2309ca46a0c07d0d9d84881b437d5e23ed8911fc
parent23f0fe07cd3c89f9bf913c9da173e4c0b64bb8b7
Define explicit evtchn_port_t type (32 bits) and plumb up
to user space thru /dev/xen/evtchn.

Signed-off-by: Keir Fraser <keir@xensource.com>
linux-2.6-xen-sparse/drivers/xen/evtchn/evtchn.c
tools/console/daemon/io.c
tools/ioemu/target-i386-dm/helper2.c
tools/ioemu/vl.c
tools/libxc/xc_evtchn.c
tools/libxc/xenctrl.h
tools/xenstore/fake_libxc.c
tools/xenstore/xenstored_domain.c
xen/include/public/event_channel.h